Nuprl Lemma : id-deq_wf 11,40
id-deq  EqDecider(Id) 
latex

Definitionst  T, Id, id-deq
Lemmasatom2-deq wf

origin